if(PINTOOL)
  MESSAGE("-- Compiling with the Pin tracer")
  add_subdirectory(pin)
endif()
